soit \(f:U\to F\) de classe \(\mathcal C^1\) sur \(U\)
soit \(a\in U\) tel que \(df(a)\) soit un difféomorphisme
$$\Huge\iff$$
il existe \(U_a\in\mathcal V(a)\) et \(V_a\in\mathcal V(f(a))\) tels que la restriction de \(f\) à \(U_a\) forme un \(\mathcal C^1\)-difféomorphisme de \(U_a\) sur \(V_a\)